#include <stdio.h> 
void main(){
	
//	21:11  9:11 PM
	int n,m;
	scanf("%d:%d",&n,&m);
	if(n>12){
		n=n-12;
		printf("%d:%d PM",n,m);
	}else if(n==12){
		printf("%d:%d PM",n,m);
	}else{
		printf("%d:%d AM",n,m);
	}

}
